Finding Contradictions in Feature Models
نویسنده
چکیده
A feature model defines each product in a product-line by a unique combination of features. Feature compatibilities are expressed as constraints in feature models and may be contradictory. We suggest a run-time approach to expose contradictions in feature models when they are uncovered. However, the emphasis of this paper is to explore the possibility of finding contradictions statically using model checking and an incremental consistency algorithm.
منابع مشابه
Detecting and Explaining Conflicts in Attributed Feature Models
Product configuration systems are often based on a variability model. The development of a variability model is a time consuming and error-prone process. Considering the ongoing development of products, the variability model has to be adapted frequently. These changes often lead to mistakes, such that some products cannot be derived from the model anymore, that undesired products are derivable ...
متن کاملA Comparative Study of Cannabis Legalization Models (Issues and Contradictions)
Objective: The present study aimed to examine the frameworks and regulations governing legalization in Canada, Uruguay, and the two states of Washington and Colorado to gain a deeper understanding of legalization models and the related issues in the light of this comparative study. Method: To conduct the research, the descriptive-analytical method, and in fact the comparative analysis, was used...
متن کاملNegation, Contrast and Contradiction in Text Processing
This paper describes a framework for recognizing contradictions between multiple text sources by relying on three forms of linguistic information: (a) negation; (b) antonymy; and (c) semantic and pragmatic information associated with the discourse relations. Two views of contradictions are considered, in which a novel method of recognizing contrast and of finding antonymies are described. Contr...
متن کاملInvestigation of Ecological Models of Neyzar Qom’s Watershed Area in terms of Agricultural, Grassland and Forestry
Study, planning and implementing protection operation lead to correct exploitation of renewable energy resources and sustainable development. From these, vital sources are water and soil. The aim of this study is to investigate the agricultural and forestry aspects of ecological model of Neyzar Qom’s watershed in 2012. Neyzar watershed area is about 12821.38 hectare. Therefore, in this study, t...
متن کاملScalable Detection of Sentiment-Based Contradictions
The analysis of user opinions expressed on the Web is becoming increasingly relevant to a variety of applications. It allows us to track the evolution of opinions or discussions in the blogosphere, or perform product surveys. The aggregation of sentiments and analysis of contradictions is another important application, which becomes effective since we are able to capture the diversity in sentim...
متن کامل